Een contract voor wijnuitvoer te Brugge in 1368

Hybrid Techniques for Hybrid Systems

ieniveauworden deze twee soorten gedrag uniform behandeld, als normale el-ementen van de procesalgebra. Hun gedragwordt bepaald door gebruik temaken vanstructural operational semantics (SOS) regels [Plotkin, 1981, 2003]. Verder respecterende regels al de verschillen tussen trajectory prefixes en action prefixes, gebaseerd oponze intuïtie over hoe dergelijke processen zich zouden...

A constraint-centric approach for object-oriented conceptual modelling ; Een beperkingscentrale benadering voor objectgeoriënteerde conceptuele modellering

.................................................................................................................... iii Acknowledgments.................................................................................................... v

Dialogue management and the visual channel Projectaanvraag voor een postdoc ”Dialogue Management” NWO IMIX -2de call

Supporting individual situation awareness in Web-environments

Samenvatting Gebaseerd op “Web-technologie” is een nieuw gebruikersinterface-paradigma ontwikkeld: de “Network User Interface” (NUI). Dit paradigma biedt nieuwe mogelijkheden voor de interactie met diensten voor informatie en commercie, maar brengt ook nieuwe problemen met zich mee zoals desoriëntatie en moeizame navigatie. De veronderstelling is dat een deel van deze problemen veroorzaakt word...

Proposal NWO Open Competition 2008 1 Project data

for Laymen (in Dutch) Dit project ontwikkelt een verificatiemethode voor gegevensbescherming, één van de voorwaarden voor het garanderen van de veiligheid van hedendaagse applicaties. De technische innovatie die ten grondslag ligt aan dit voorstel is het begrip zelf-compositie, d.w.z. de mogelijkheid om een programma met zichzelf samen te stellen. Dit geeft de mogelijkheid om veiligheid van een...